Contents A Simple Graph Grammar Enabling the Representation of Layered
نویسنده
چکیده
concurrent semantics are also defined. Three classical observations for concurrent semantics — interleaving, partial ordering and mixed ordering — are defined on the graph derivations. Bisimulation is exploited to obtain three equivalences of π-calculus agents corresponding to the observations. As expected, the ordinary observational equivalence for the π-calculus is re-obtained in this context as the equivalence induced by the interleaving observation.
منابع مشابه
dominating subset and representation graph on topological spaces
Let a topological space. An intersection graph on a topological space , which denoted by , is an undirected graph which whose vertices are open subsets of and two vertices are adjacent if the intersection of them are nonempty. In this paper, the relation between topological properties of and graph properties of are investigated. Also some classifications and representations for the graph ...
متن کاملAutomatic Transformation of Uml Software Specification into Lqn Performance Models Using Graph Grammar Techniques
iii To My Mother and in Memory of My Father iv ABSTRACT The interest in relating Software Architecture specification to Software Performance Analysis has been growing rapidly in the past few years. However, there is still a gap between the software development and the performance analysis domains. The main reasons for having this gap has been the lack of a simple, inexpensive, and scalable tech...
متن کاملA Layered Graph Representation for Complex Regions
This paper proposes a layered graph model for representing the internal structure of complex plane regions, where each node represents the closure of a connected component of the interior or exterior of a complex region. The model provides a complete representation in the sense that the (global) nineintersections between the interiors, the boundaries, and the exteriors of two complex regions ca...
متن کاملLayering in structural-functional grammars
This article presents an overview of the notion of layering in three types of structuralfunctional grammars. Layering is interpreted in a broad sense to refer to two types of linguistic differentiations: (1) on the one hand, a distinction between levels of coding, namely, syntax/grammar, semantics, pragmatics; (2) on the other hand, a differentiation between speaker-related vs. content-related ...
متن کاملA Semi-Analytical Method for History Matching and Improving Geological Models of Layered Reservoirs: CGM Analytical Method
History matching is used to constrain flow simulations and reduce uncertainty in forecasts. In this work, we revisited some fundamental engineering tools for predicting waterflooding behavior to better understand the flaws in our simulation and thus find some models which are more accurate with better matching. The Craig-Geffen-Morse (CGM) analytical method was used to predict recovery performa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008